Argument Representation for Dependable Computer-Based Systems
نویسندگان
چکیده
منابع مشابه
Analysis of Dependable Computer Systems
This paper provides a review of analytical techniques for hard real-time safety-critical systems. The aim is to show that analytical technicues can be employed not only to consider existing systems but as part of the design process. Four characteristics of a sytem are considered: functionality, timing, resource usage and dependability. Particular emphasis is given to the safety and reliability ...
متن کاملGoal-Diversity in the Design of Dependable Computer-Based Systems
This paper sets out an argument for experimenting with some aspects of the “Open Source” development style in the creation of “Computer-Based Systems”. The particular objective is to find ways of increasing the “Dependability” of systems. The most interesting facet of Open Source development in this connection is the use of multiple developers to introduce diversity into the design process. In ...
متن کاملPerspective-based Architectural Approach for Dependable Systems
Explicitly architecting dependable systems inevitably involves establishing consensus among different stakeholders' concerns and then anchoring the design on architectural components that provide robustness. The goal is to architect evolvable systems upon which users can reasonably rely on receiving anticipated services. Unfortunately, there are few established approaches for rapidly prototypin...
متن کاملAn Indian logic-based argument representation formalism for knowledge-sharing
Knowledge-sharing is the fundamental aspect of learning from ancient days. By exchanging questions and answers in a debate fashion, knowledge is explored. Argumentation can be thought of as a knowledge-sharing mechanism where construction of arguments and counter-arguments towards reaching mutually agreed upon conclusions is modelled after the rational discussion of knowledge-sharing. The proce...
متن کاملAn Indian Logic-based Argument Representation Formalism For Knowledge-sharing1
Knowledge-sharing is the fundamental aspect of learning from ancient days. By exchanging questions and answers in a debate fashion, knowledge is explored. Argumentation can be thought of as a knowledge-sharing mechanism where construction of arguments and counter-arguments towards reaching mutually agreed upon conclusions is modelled after the rational discussion of knowledge-sharing. The proce...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Informal Logic
سال: 2001
ISSN: 0824-2577,0824-2577
DOI: 10.22329/il.v22i3.2594